1. Artificial intelligence and heuristic programming
پدیدآورنده :
موضوع : ، Artificial intelligence,، Electronic digital computers-- Programming,، Heuristic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
3. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
4. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
5. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
6. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
7. Catalogue of artificial intelligence tools
پدیدآورنده : BUNDY,ALAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
رده :
Q
336
.
B86
1986
8. Fuzzy, holographic, and parallel intelligence :
پدیدآورنده : [edited by] Branko Souček and the IRIS Group
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence,Electronic digital computers
رده :
QA76
.
5
.
F89
1992
9. Fuzzy, holographic, and parallel intelligence : the sixth generation breakthrough
پدیدآورنده : )edited by( Branko Soucek and the IRIS Group
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers,، Artificial intelligence
رده :
QA
76
.
5
.
F89
1992
10. Fuzzy, holographic, and parallel intelligence : the sixth generation breakthrough
پدیدآورنده :
موضوع : ، Electronic digital computers,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
11. Intelligent systems:the unprecedented opportunity
پدیدآورنده : HAYES,JEAN E ED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ARTIFICIAL INTELLIGENCE-ADDRESSES,ESSAYS , ELECTRONIC DIGITAL COMPUTERS-ADDRESSES,
رده :
Q
335
.
5
.
I53
12. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
پدیدآورنده : edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984
13. Programming for artificial intelligence: methods, tools and applecations
پدیدآورنده : Kreutzer, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Artificial intelligence
رده :
QA
76
.
6
.
K735
1990
14. Programming for artificial intelligence: : methods, tools, and applications
پدیدآورنده : Kreutzer, Wolfgang
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming,، Artificial intelligence
15. #Software engineering
پدیدآورنده : #Edited by Julius T. Tou
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic digital computers- Congresses ،Programming languages )Electronic computers(- Congresses ،Information storage and retrieval systems- Congresses ،Artificial intelligence- Congresses
رده :
#
QA
،#.
C61255
،#
1969
16. Software engineering: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic digital computers - Congresses,، Programning languaes ) Electronic computers ( - congresses,، Information storage and retrieval systems - Congresses,، Artificial intelligence - Congresses
رده :
QA
76
.
2
.
C61255
17. The brains of men and machines
پدیدآورنده : Kent, Ernest. W.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Brain,، Artificial intelligence,، Electronic digital computers
رده :
QP
376
.
K39
1980
18. The brains of men and machines
پدیدآورنده : kent, Ernest W.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Brain,، Artificial intelligence,، Electronic digital computers
رده :
QP
376
.
K39
1980
